Marginalia — Cuaderno Interactivo Marginalia Lncs2023

> PUBLICACIÓN— (2023)

REFERENCIA DOI

Masking is a widely-used effective countermeasure against power side-channel attacks for implementing cryptographic algorithms. Surprisingly, few formal verification techniques have addressed a fundamental question, i.e., whether the masked program and the original (unmasked) cryptographic algorithm are functional equivalent. In this paper, we study this problem for masked arithmetic programs over Galois fields of characteristic 2. We propose an automated approach based on term rewriting, aided by random testing and SMT solving. The overall approach is sound, and complete under certain conditions which do meet in practice. We implement the approach as a new tool FISCHER and carry out extensive experiments on various benchmarks. The results confirm the effectiveness, efficiency and scalability of our approach. Almost all the benchmarks can be proved for the first time by the term rewriting system solely. In particular, FISCHER detects a new flaw in a masked implementation published in EUROCRYPT 2017.

VER ABSTRACT

[ + ]

> NAVEGACIÓN

https://emanuel_quintana.codeberg.page/Marginalia/ LIVE

Índice General

Marginalia / Lecturas en curso LIVE

Índice de Leyendo

> REPOSITORIO

README.mdPREVIEW

Marginalia

Sitio en vivo: codeberg.page/Marginalia

Marginalia: notas escritas al margen de un libro.

Catálogo, notas, ensayos y código de lectura — economía, matemática, ciencias de la computación, literatura, física e ingeniería, y más.

Español

Este repositorio es mi cuaderno de lectura público, usando Org-mode y org-babel.

Licencias

Este repositorio usa doble licencia: código bajo MIT, notas y ensayos bajo CC BY-SA 4.0.

Ver en Codeberg

> LICENCIAS

LICENSEMIT PREVIEW

MIT License

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files, to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED.

NOTE: Aplica solo al código fuente. El contenido escrito está bajo CC BY-SA 4.0.

Código — MIT

LICENSE-CONTENT.mdPREVIEW

Licencia de contenido

Este archivo cubre las notas de lectura, ensayos y textos en lecturas/ y ensayos/.

Creative Commons BY-SA 4.0

Sos libre de:

Compartir — copiar y redistribuir el material.
Adaptar — remezclar, transformar y construir a partir del material.

Bajo los siguientes términos: Atribución y ShareAlike.

CC BY-SA 4.0

Marginalia — Emanuel Quintana Silva Última actualización: 2026-07-22

Validate